range: use border box for slider area
authorCosimo Cecchi <cosimoc@gnome.org>
Wed, 24 Feb 2016 23:35:28 +0000 (15:35 -0800)
committerCosimo Cecchi <cosimoc@gnome.org>
Mon, 29 Feb 2016 18:45:13 +0000 (10:45 -0800)
commit0883ff5eedf73b1197f2a49fb7e55ce227917335
tree64e3801b1f80b1b23efbacdb31e77d3194b0edb4
parent6ecab5ee6b311348be8dea43c71d5c87aa332d98
range: use border box for slider area

Since we can use negative margins, we should not use the margin box
for the slider area. Use the border box instead, since that's what is
typically mapped to the visible area.
gtk/gtkrange.c